منابع مشابه
IThe theory of optimal reductions
We introduce a new class of higher order rewriting systems, called Interaction Systems (IS's). IS's come from Lafont's (Intuitionistic) Interaction Nets Lafont 1990] by dropping the linearity constraint. In particular, we borrow from Interaction Nets the syntactical bipartitions of operators into constructors and destructors and the principle of binary interaction. As a consequence, IS's are a ...
متن کاملRe-Introducing The Concept of Mind
[1] Imagine somebody whose enthusiasm for metaphysical musings is so matched by ineptitude that when his bank informs him that his account is overdrawn, he manages to convince himself that the modern banking system had created a new kind of Cosmic Substance: anti-cash, convertible into minus-pounds-sterling, nego-dollars, vac-euros, and so forth. Being a staunch ‘realist’ about all things, he d...
متن کاملIThe Visual Display of ~ Parallel Performance ~ Data
( performance models. T he primary motivation for using parallel computer systems is their high performance potential, but that potential is notoriously difficult to realize, and users often must analyze and tune parallel program performance. Parallel systems can be instrumented to provide ample feedback on program behavior, but because of the volume and complexity of the resulting performance ...
متن کاملIThe Development of Traffic Engineering in Australia
M cars first appeared on Australian roads in about 1900, and road laws, as they are known today, began to evolve soon after. For several years traffic control in Australia was largely a police responsibility, but by the mid to late 1930sthe principles of traffic engineering, including the need to consider the road, the vehicle, the driver, and the traffic rules as an integrated system, were bei...
متن کاملMind the Gap: The Platform Switching Concept
After exposing a submerged implant to the oral environment, bone loss occurs downwards along the implant body and stops at some predefined position. A current area of hot debate is the significance of the implant abutment interface and its influence on crestal bone level in relation to the first thread. In recent years, the microgap which exists at the connection between the implant body and th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Mind
سال: 1920
ISSN: 0026-4423,1460-2113
DOI: 10.1093/mind/xxix.1.1